31![An improved compression technique for signatures based on learning with errors Shi Bai and Steven D. Galbraith Department of Mathematics, University of Auckland, New Zealand. An improved compression technique for signatures based on learning with errors Shi Bai and Steven D. Galbraith Department of Mathematics, University of Auckland, New Zealand.](https://www.pdfsearch.io/img/a322e25728785e194057e6610c7a3ea8.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2014-01-22 16:26:55
|
---|
32![Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology](https://www.pdfsearch.io/img/a1145d7c87226f243bf0f32c31c2708f.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2014-04-14 05:43:30
|
---|
33![Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz](https://www.pdfsearch.io/img/c7ec75022ea9644f7b6a3eb1c97e08dc.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
34![HIGH DIMENSIONAL EXPANDERS ALEXANDER LUBOTZKY Abstract. Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence an HIGH DIMENSIONAL EXPANDERS ALEXANDER LUBOTZKY Abstract. Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence an](https://www.pdfsearch.io/img/feee901512835a557dfa4823e084dff2.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|
35![Could SFLASH be repaired ? Jintai Ding1 , Bo-Yin Yang2,4 , Chen-Mou Cheng3 , Owen Chen4 , and Vivien Dubois5 1 Dept. of Mathematics and Computer Sciences, University of Cincinnati 2 Could SFLASH be repaired ? Jintai Ding1 , Bo-Yin Yang2,4 , Chen-Mou Cheng3 , Owen Chen4 , and Vivien Dubois5 1 Dept. of Mathematics and Computer Sciences, University of Cincinnati 2](https://www.pdfsearch.io/img/f56c1e50d775dbb9b7c4bcd1e7e35408.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2011-03-20 04:03:34
|
---|
36![LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based](https://www.pdfsearch.io/img/aaa4cc30b21059d8da1b7a8d1eb1c198.jpg) | Add to Reading ListSource URL: mirror.clarkson.eduLanguage: English - Date: 2018-08-15 07:19:25
|
---|
37![MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXROOT OPTIMIZATION OF POLYNOMIALS IN THE NUMBER FIELD SIEVE MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXROOT OPTIMIZATION OF POLYNOMIALS IN THE NUMBER FIELD SIEVE](https://www.pdfsearch.io/img/675efad62c6e45516bad59f895f4cdb7.jpg) | Add to Reading ListSource URL: cosweb1.fau.eduLanguage: English - Date: 2018-10-24 18:51:52
|
---|
38![I·Math Institute of Mathematics Graph complexes Thomas Willwacher I·Math Institute of Mathematics Graph complexes Thomas Willwacher](https://www.pdfsearch.io/img/7e0f309d8334df3507ed01a21e0894ba.jpg) | Add to Reading ListSource URL: people.math.ethz.chLanguage: English - Date: 2016-05-02 09:25:10
|
---|
39![Authoring Online Open Textbooks with MathBook XML II International Conference on Mathematics Textbooks Rob Beezer1 Authoring Online Open Textbooks with MathBook XML II International Conference on Mathematics Textbooks Rob Beezer1](https://www.pdfsearch.io/img/7974a7d05e41c2d832faf507dd462624.jpg) | Add to Reading ListSource URL: buzzard.pugetsound.eduLanguage: English - Date: 2017-05-17 18:31:13
|
---|
40![A BOOTSTRAP INTERVAL ESTIMATOR FOR BAYES’ CLASSIFICATION ERROR Chad M. Hawes and Carey E. Priebe Johns Hopkins University Department of Applied Mathematics and Statistics Baltimore, MDABSTRACT A BOOTSTRAP INTERVAL ESTIMATOR FOR BAYES’ CLASSIFICATION ERROR Chad M. Hawes and Carey E. Priebe Johns Hopkins University Department of Applied Mathematics and Statistics Baltimore, MDABSTRACT](https://www.pdfsearch.io/img/e0e3c839604e2c03f08b4f029eb3a3e2.jpg) | Add to Reading ListSource URL: www.ams.jhu.eduLanguage: English - Date: 2012-08-13 11:26:25
|
---|